MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 21:32:18 GMT
Content-Type: text/html
Content-Length: 3221
Last-Modified: Friday, 13-Oct-95 19:41:26 GMT

<HTML>

<HEAD>
<TITLE>Hardware Verification</TITLE>
</HEAD>


<!BODY BACKGROUND="pict/littlefluffyclouds.gif">
<!BODY BACKGROUND="pict/green.gif">
<!-- BODY BACKGROUND="pict/rain.gif"-->
<BODY>

<CENTER>
<H1>Hardware Verification</H1>
</CENTER>
<p>

<!-- CENTER> <!WA0><!WA0><!WA0><IMG SRC="http://www.cs.utexas.edu/users/shma/pict/banner.gif"> </CENTER -->
<CENTER> <!WA1><!WA1><!WA1><IMG SRC="http://www.cs.utexas.edu/users/shma/pict/const.gif"> </CENTER><p>

<p>
<DL>
<DT><h3><!WA2><!WA2><!WA2><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/happy.gif">
	Course presentation: </h3>
<DD> <!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4001.gif"> slides 1-4 </a>
<DD> <!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4002.gif"> slides 5-8 </a>
<DD> <!WA5><!WA5><!WA5><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4003.gif"> slides 9-12 </a>
<DD> <!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4004.gif"> slides 13-16 </a>
<DD> <!WA7><!WA7><!WA7><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4005.gif"> slides 16-20 </a>
<DD> <!WA8><!WA8><!WA8><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4006.gif"> slides 21-24 </a>
<DD> <!WA9><!WA9><!WA9><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4007.gif"> slides 25-28 </a>
<DD> <!WA10><!WA10><!WA10><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4008.gif"> slides 29-32 </a>
<DD> <!WA11><!WA11><!WA11><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4009.gif"> slides 33-36 </a>
<DD> <!WA12><!WA12><!WA12><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4010.gif"> slides 37-39 </a>
</DL>

<h3>
Conference cousre reports (instructed by 
<!WA13><!WA13><!WA13><a href="http://www.cs.utexas.edu/users/emerson/">Prof. <em>Emerson</em></a>)
<h3>
<h4> <DL>
<DD>	<!WA14><!WA14><!WA14><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.happy.gif" ALT=":-)"> 
	Report one <!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/shma/emerson/p1.html">
	<!WA16><!WA16><!WA16><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a>
<DD> <!WA17><!WA17><!WA17><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.happy.gif" ALT=":-)">
	Report two <!WA18><!WA18><!WA18><a href="http://www.cs.utexas.edu/users/shma/emerson/p2/p2.html">
	<!WA19><!WA19><!WA19><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a>
<DD> <!WA20><!WA20><!WA20><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.sad.gif" ALT=":-(">
	Report three <!WA21><!WA21><!WA21><a href="http://www.cs.utexas.edu/users/shma/emerson/p3.html">
	<!WA22><!WA22><!WA22><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a>
<DD> <!WA23><!WA23><!WA23><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.sad.gif" ALT=":-(">
	Report four <!WA24><!WA24><!WA24><a href="http://www.cs.utexas.edu/users/shma/emerson/p4/p4.html">
	<!WA25><!WA25><!WA25><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a>
</DL></h4> <p>
<hr>
<p>

<h3>Hardware verification links</h3>
<h4><uL>
<li> <!WA26><!WA26><!WA26><a href="http://www.id.dtu.dk/~jst/design_html/HWveri.html">
	Hardware verification</a> at the Techincal University of Denmark
<li> A bunch of 
	<!WA27><!WA27><!WA27><a href="http://ptolemy.eecs.berkeley.edu/papers/codesign/">
	hardware/software codesign </a> papers at UC Berkeley
<li> More
	<!WA28><!WA28><!WA28><a href="http://akebono.stanford.edu/users/cad/theforce/hyang/research.html">
	hardware verification </a> papers from Stanford university
<li> Here is a <!WA29><!WA29><!WA29><a href="http://lal.cs.byu.edu/cs501/homepage.html">
	<em>computer system verification</em></a> course provided by <br>
	Brigham Young University, they also prepared a long 
	<!WA30><!WA30><!WA30><a href="http://lal.cs.byu.edu/lal/reading-list/reading-list.html"> 
	reading list </a> <br> for graduate students
<LI> A <!WA31><!WA31><!WA31><a href="http://atb-www.larc.nasa.gov/hardware-ver.html">
	hardware verification homepage</a> from NASA Langley
</DL>


<center> <!WA32><!WA32><!WA32><img src="http://www.cs.utexas.edu/users/shma/pict/wh_bar.gif"> </center>
<CENTER>
<TABLE BORDER=4 CELLPADDING=0 WIDTH="50%">
<TR> <TD>
<TD  ALIGN=center> <!WA33><!WA33><!WA33><img src="http://www.cs.utexas.edu/users/shma/pict/bamboo2.gif" border=2> </TD>
<TD  ALIGN=left>
<!WA34><!WA34><!WA34><a href="http://www.cs.utexas.edu/users/shma/">Shaobing Ma</a><br> 
Ph.D Student in <!WA35><!WA35><!WA35><a href="http://www.cs.utexas.edu/">CS</a>, 
<!WA36><!WA36><!WA36><a href="http://wwwhost.cc.utexas.edu/">UT Austin</a><br>
Phone: (512)482-9343<br>
Email:<!WA37><!WA37><!WA37><A HREF="mailto:shma@cs.utexas.edu"> shma@cs.utexas.edu </A> 
</TD>
</TR>
</TABLE>
</CENTER>
<p>

</BODY>

<!-- ====================================================================== -->

</HTML>

